Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·1d·
Discuss: Hacker News, r/programming
⚙Automata Theory
The Little Book of Everything
github.com·1h·
Discuss: Hacker News
λLambda Formalization
Kleene's Recursion Theorem
en.wikipedia.org·1d·
Discuss: Hacker News
🔤Type Theory
Pratt Parsers: Expression Parsing Made Easy
journal.stuffwithstuff.com·3d
🔗Monadic Parsing
MatrixPortal S3 Maze Game with CircuitPython
hackster.io·5h
📟Terminal Physics
BEDTime: A Unified Benchmark for Automatically Describing Time Series
arxiv.org·11h
📈Time Series
AI is not another abstraction because god plays dice
rakhim.exotext.com·15h
⚖️Hoare Logic
Automated Standardized Protocol Validation via Hybrid Symbolic & Statistical Analysis
dev.to·1d·
Discuss: DEV
🌐NetworkProtocols
Monday Morning Haskell: Graph Algorithms in Board Games!
mmhaskell.com·6h
🔲Cellular Automata
How To Upgrade Your MCP Server With Context Engineering
thenewstack.io·48m
🦋Format Metamorphosis
News for August 2025
ptreview.sublinear.info·1d
🌸Bloom Variants
WordPress and Wikipedia
cameroncounts.wordpress.com·20h
🧮Algebraic Archives
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.com·4h·
Discuss: Substack
📏Code Metrics
How to train your Dragon^H^H AI overlord
virtuallyfun.com·2d
🧲RISC-V Archaeology
LifeGPT: Generative pretrained transformer model for cellular automata
nature.com·2d·
Discuss: Hacker News
🔲Cellular Automata
Hilbert space: treating functions as vectors
eli.thegreenplace.net·2d·
Discuss: Lobsters, Hacker News
📐Linear Algebra
Parameters and binding forms should be mutually recursive
samestep.com·3d·
Discuss: Hacker News
🔗Concatenative Programming
typical: Data interchange with algebraic data types.
github.com·1d
📋Format Specification
The Angels and Demons of Nondeterminism
buttondown.com·4d·
Discuss: Hacker News
💻Programming languages
Quark’s Outlines: Python Strings
dev.to·8h·
Discuss: DEV
📝Text Compression